body { font-family: sans-serif;
       background-color: #eee;
       margin-left: 310px; 
       font-size: large;
}

div#side { position: fixed;
           top: 0;
           bottom: 0;
           left: 0;
           right: auto;
           width: 302px;
           text-align: center;
           background-color: #555;
           border-right: solid #333 thick;
}

h1,h2,h3 { color: #f70; }

li { margin-bottom: 0.3em; }

pre { margin-left: 1em; 
      padding: 1em;
      background-color: #222;
      color: #ddd;
      margin-right: 1em;
}

span { background-color: #aad; color: #444; }
span.bad { background-color: #daa; }
